ME.DVI[1,TEX] - www.SailDart.org

perm filename ME.DVI[1,TEX] blob sn#791930 filedate 1985-04-23 generic text, type T, neo UTF8
{@@__I0βCX↓zβ2*→+α7].G:]∧βλ≤NεRp_
¬c⊂→NF∪(~10⊂∂x␈␈␈xhO|@G((_→vQZ␈∪≥v⊂Fh∨sλeλ1←_→
R~Pb@↓vPu↓vPufH6Z⊗`37&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃j {+Xh_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβX≥MG$⊂"Ofs0~NεS_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_
GDλ%∩	DX&∩I∀(#⊃HCx≤N'3h∨N&S(_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧@(∩(D(%∀	uλ(∪j¬⊂'Si4H#Pλ∪p≡∞'∪@≤MFβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃K%('T	∧0$∩)∀`'RIdx'∩IT@%∩(∀λ≡∞εc8≤
εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_λ5'TjEλ(RI∀`*∃jE0*TJE_(∀jU()TI∀H Nπβ@~εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧8.WKep-⊗+¬H-V+∃(&∩ie(.Wl%p.⊗*uH+V)T` NGβ8_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ≡Sj¬*∃*¬(,⊗
e@-U	t(#∪)D@(∃*U(*U
U`.WJ$P≥NFsλ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∞
¬λ'Riu'T	u%∀*∃λ(QgtH(∃
e (∪	Eλ*∃
ux.WJ∧p≡∞Fs__εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧p+∃*$x'U
E8,V
U )∩I∀0!QIe*U*%λ+U
uh/⊗⊗0⊗jDx≥∂G#(_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∩e`.VJu(+UJe *∃
∧H'We`-⊗+%X*∀JE@,⊗Ke`0WK6λ._
T` PG∪⊂_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_	&_1XL¬h-Uk¬@,V+%H*T¬`/_,⊗_1Yu*Uju0+⊗&0↔lε⊂1X
Dp$∂gS_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβh,→LV_1_L¬`.↔∃X.↔+5h.↔Kv1↔lε(1∀k∃P/Wl⊗1↔Kex1X,6 0X
Tx$⊂&3_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∩Lf83YLf(1XL&(1_+e@+∃k∃x1Xl⊗λ1_LE`.↔KEX.↔,ελ2_,ε0→%x/V
Th"∂fβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ε¬H3Z-⊗03→lv84→Lf 0W+ex.WKup.Wvλ0↔l¬p/WKf⊂1XL6λ0XLV 2→6⊂.TJ∧0!εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ∨~
&H4ZF(3Ylf(2_LF03Ylf 1YV(2→,V 1Xl&λ0XL& 2→F_1_lV(2Ylv(.∃)dλ~εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_ε∧X5~m&H3Z
ε03_l60⊗k6⊂2→6λ2→F 2→&⊂0X5`0_,6_2→6⊂2→V(2Y,f_,∀'c _εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_f03→m⊗@3→,f_1↔kEλ*Vkeh+Uk∃`/↔KEh.↔%H,∃
u8,↔Ux/Xε1_lV04→L∃@$∂g∪_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ≡_+f/Wlε(3→,&.W+5P*T	TP%S*∃⊂)TJ%⊂)TJ∃(∪j¬)∃K¬@,⊗+5`.Wl6 1WJd@∨O&β_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_ε∧H3Yux+W,&_1_L∃h+∀J$x#∂fcH QI4P%∩i$`&∪	4`%∩)∧P'∀*∃_*∀j5 +W¬x.∀iDX fβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_
f⊂2_kUh0YV 1∃)Dp'∩h#`≤NG#x∨Oh∀_"⊃HT8$∩λd0"Qλd@%SIdp'∪iu*WeP(Q(t⊂∨εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_→6⊂/↔L⊗_2X*Uλ(∪)4(≡∞&c0≠
g#X≡∂h∧⊂!⊂(4 "⊂h4⊂!⊂ht@$∩λt@$∩	5λ+⊗ke0%∂Gsx≤εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβh3Yf_0XlEx(SIdH!O'β →LF3 ~Nπ#h≡∂'cx∨∂gt ⊂πt PhT("Q(D #∩	e⊂+↔KUλ"∂π∪__εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_	60/V6⊂1WJdX#⊂π#8~f#λ_L&3_≠
GβP≥∂πCX≡∂πSh≡O'T P(4_!⊃λ4⊂#∩j¬_-X+∀x≥NFβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_∃LF_)↔L¬x,∩H3p≠M&3⊂→&∪⊂→F3 ~MgβH≥∞g3X≥∞g#`≥O'cx PH∀ ⊂λ∀_%∪J∃00↔jT_≥εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ0_L6λ.Wk4x!∂g#0~f#⊂_L&β⊂→fC(≠MGβH≥∞g#P≤N'3P≥Oπtλ Pπsp∨Oh$@&∪J∃P/↔	#p_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_πFλ1_L6/∃HCh≥NFs →Lf#λ_L&∪λ→f3 ~MFcH≥∞G3`≥NG#X≡Pλ∧∨OgSp ⊂HtX&∀%p/Uλ3_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_∩&_2_L¬p)Ofsh≤
fS →LF∪λ_L&βλ_LF# ~
'β@≤NgCP≥∂πCh ⊂(∀⊂ ∂gcx!⊃I∀`'UL⊗-P&β_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ$_lf⊂0↔kU⊂∨
FS0≠
&C_→&β_εβ_LF#_~
&s8≤∞G#P≤NgSx PH$⊂!⊂H∧_"Qi$p)XL%`&Lεβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εε⊂3Y¬p0↔	sx≠
εS(~Mε3⊂→εβ_εβ_&#_~
FS8≥∞'β@≥Oπsx ⊂(∀_"⊂hT0#R)e_0→l5H∨εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_F(1⊗K6_.∪'3 →LfS ~f#λ_εβ_εβ_L&#_~
&S@≠M&S8≥∂πCp∨P($ "⊃(d@%∪J%p3Z∧(_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ#_LUx/↔l%H$∂εC_→MεC_→L&β_εβ_εβ_&# ≠
Fs8~MεcH≥∞gCh∨P(4 "Q)∀`'TKF04YJ∀(_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_ε∧8/X,¬x0X*tH∨
&3⊂~
ε3__Lεβ_εβ_εβ_L&3 ~Nπβ(~
G∪@≤NGCp ⊂(4 #RITx)V,fH3V's_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_Ux/X,6 0U)∀≠Lf#_~f3λ_εβ_εβ_&∪⊂_MεC0≠N&c ~Mgβ@≤∞GCp≡∂H$8&∪)uλ,→mε00∩&β_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ__,6⊂/→,%x+RGs8~
F#_→LFβ_εβ_εβ⊂→f3 ~
εc0≠MFS ≠N'β@≤∞G3X≡PλdX'∪j%@3Z,fλ*εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ3Y&2_L∃8%P'β0~F#λ_εβ_εβ_εC_→MεC →MFc8≠
εC0≤
gβ@≤N'∪X ⊃)$h'T+ε84→l∃H_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εε81→ε_1_+∧X!∞&c__Lεβ_ε∪_→&Ch≤∞'β@~MεC ≠
gβ8~
εc@≤Mgβ@≥∞gCx"∩)Tx)⊗,v@3XK#_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_F01Xl⊗ 1⊗)4_≤MfC_εβλ~Nh4('∀je (S	βp≤Mfs8≤∞'β0~Mg∪@≤Ng3X≡∂(∀_$∪)e_.Z
⊗@2⊗Fβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_→
ε84_lV+∩H3P≠LfS0≠OGdλ$SJu`.Wkup.⊗
∧@ ∞g#P≥NG#@≤N'Cp ⊂λ$!⊂hT8%∪j5x4~-ε_-εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ3Y,v83→∃⊂#Pg#(≠∞πD("QIU_+Vkep/Wl¬h.V*4P!∂GSp∨OgS`∨⊃λdh(∀*%⊂'∪IDX'Tl⊗H4~E`_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εε@2Zf@2XJ$0 ∞gβ`∨⊃)∀p(∀jE0+U*U(,⊗K%H-∃It8!⊂(∧ !P($@(∀k∃`/Xuh-UJ¬)Y-⊗@4→+SH_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_vH3YMε01∀(Cp≥N'$$∩I$H%∩IDX&∪)u)∀j5@+SI$(!PHD0#∩)U8,WLελ1_,∃p-∃ju82~Mε@2X+4__εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ≡→Lv82Z-ε_'P'cP≡∂h∀ "Q(t8#∩	∧H%∪	uλ)∀*¬'Ri∧("Qi∀X&∀K∃X.W+ep.W+eh-W+F⊂5~-ε01WHC_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ+Xlv(4Z,Tx Oπ$λ!⊂hD0$⊃hd("QλdH%S*¬⊂)∀)th&RλD(#∩)E*⊗¬8+∃
%(U
U@,VkvH4Zf_.N&β_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_ε∧X3→lV@4→	T≤∞h∧_"Qi∧H$R)E'U+¬P-VJU_(T	TX$⊂h∧λ$∪
∃8+U*5'∪)DP%S	e_+↔m⊗H4~eh_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_V 2→M⊗@1∩'S8∨⊂(d@%∩ie(+∀J∃0-W+up/↔K¬ (∪	4(∨Oπt %∀k¬8*U
U((S)4P%S	U⊂.Z
⊗@4YK3_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_→,F_2Z
ε"∂πβX!⊃i4h)⊗k¬@-X,⊗01_lελ.Vje⊂&∩H3`≠NGt@)V%p/W+EX,Uj$p'Sj¬h4~
&P2W*s_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_ε∧`2Wkf 3YKSx≥
G$#∪
∃8.↔ku(.⊗lv⊂0∀+ex+U*$`$⊂G∪ ≤∂Hu ._¬x1→,F⊂/W+5 (T,ε@3ZM&8.Vεβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_πf8/↔,&03⊗πS@~N'd0%T*UP.⊗J5 0↔KEp'VKE((T)$(∨MF30≡⊃JEh0_K%x0→L6(1X5 )_mε85~,UX_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_πdp,WLf0*∞fs ≠∞(∀0#Q)∧p)∃*eP.⊗k¬8-V*e'∩λ#`~L&C@!∀Jux/∃,ε⊂3Yv 1W*E⊂3→l6H4_k∪_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_πd`-YLE_≡
fC ~MgβH≥∂($(%T
¬_)TJ5((T*∀P"∂g3 _LFcp(∃+ex.↔L&⊂1Vl⊗⊂/U*⊗01Wm⊗(1UFβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_⊂)¬`2→*3`≠
εC⊂→
εS0≤O(∀(%∪	Dp(∀jU_)∩HSx≡
fCλ_M'Dh)Uk5`-⊗KU`.↔K∃@(SlEP1Y∃X_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ!QkF2∪gC0~f∪λ→LfS8≥Oh$ #Rie⊂)∀)t@!∂g3@≠fβ→Ni∃λ*VkEH+∃ju0*∀J∧h'_Ku`&Q(3_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβp%⊗k6⊂'∂&s(→L&#_~∞π∪H∨PhdH%∩ID`$⊃'s`≤
fc(~εβ ≡QJ∃⊂+V+%@*∀
∧p&SI4x2⊗Fβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_π∧`+∀,∀p∨∞εS_→Lfc@≠MεS@≥∂(∧_"QHCp≥N'β(~
εS__Lε3P!T)uλ*∃
%⊂(∪ID`&S)f_&Lεβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_∩	E⊂"↔Ish≤
FC ~fc(~
&c8≥∂πsp≡N'β8≠MfC_~
εCλ_Mεtλ(∪Idx(SiTX%∩i4`'∪kD__εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ#⊂iT )S'SH≠MεS ~Lf3_→M&c@≤Ngβ@≠
fc8≠Mε3_~
ε3⊂~MGTh(∪)Th&S	4P%RiTp(Pfβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_ε∧⊂"OλDX%∂'∪8~MFS(→Mε3_→MεS(~M&c0≠MFC →Lf3_~f#_≠O	∃'∩i4X&∪	$X&∪)U⊂_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_πd8≡∂hD ≡∞Fs0≤
Fc ~
ε#_→
ε3 ~
FS0≠
εS(~MεC →L&∪(≥⊃	tp&∩I4X&∪)4`&∪*#_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_λc`∨PλSp≥NFc8≠MFS ~F3 ~
εC(≠∞πβH≤∞'#H≤MFC⊂_LFcH SIdp%R)$X%Ri4X'∀Fβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_⊂π$⊂!⊃'sh≥Nπβ8≠
&3_→fC(~
εc@≤Oλ$≡O'ch≤f∪→
'#p%∪ITh$R(t@%∩iU%Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_∂H∀⊂!P'c`≤Nεs8~fS ~
εC(≠∞'T"Qh∪@≠Nπ#@→εβ⊂≠∞gd@'SidX#QI∧H&∪J∀⊂_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ"⊂H$⊂!⊂'cP≡∞&s(~M&S(≠MfsP∨⊂i∧X$∞FS ~MFCλ_&SP≡OhU(T)T@$∩	∀h(∀h#_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_ε∧0!Qλ4λ ⊂πCp≥N'βH≠Mg∪H≤∞'t %∪It@≥
F3_~F∪→∞π3h∨R	u(*∀	$@$∩IU*∞&β_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_π4X%∩λ∀ ⊂λ∪x≡∞g#X≤∞G#X∨Q	∀p)∃I3p≥
fS ~
εC8≡OGdλ$∪je8)S)$H&∪j%(_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧(⊂λ∀ P(∪x∨O's`≡∂h∧($SJ∃(,∪hdλ∨∂πSP≡∂Gt_!QλtX'UK¬ (∪	$`(∀iC_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧ PH$⊂"⊂H∀⊂!⊂H∧⊂!⊃I∀h(Tj%_)SIT`&S	4`&∪	4P%S	e⊂*V
Uλ&S	eλ*⊂fβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_λ$⊂"Q(4 "QλD("QλD($S	u⊂(SI$P*∃Ju0.⊗Je⊂)∀j%⊂)TjE *∃
∧p&SJ∃(!Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊂hD "Q(d0#R	∧8#QhtP&T*∀h$QH48)∃*E(+V
U8,⊗¬`.Uidx(T	dp'TJcH_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃(T8$⊃i∧@$RI∀H$∩	4x(∪I$0!PH$8'Tj58*∃k¬8-↔E0&RITx(∪Iu)UFβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ#∩	∧H$R	$X%RI∀8$∩id`%RλD_!⊂hTX&Sj%_+⊗¬8+U
∀h%S	dx'T
∃ !Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧P%∩	$P$∩I4X$Qi∧8%∩I$@#⊃($ ⊂HtX&T	uλ(Tj%_)TIth&S)Tx(TJD__εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_	DP$RI$P%RI∀8#⊃Hd8%∩Ht8"Qλ∀⊂!⊃htP&S	dh(T
∃λ(T	Tp'∪	Uλ)∃H3_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∩	4X%∩I∀P%⊃hd0"⊃)∧`%∩λt !Ph4_"R	$h'SITp(∀
∃λ(Sj¬&SJ∃_+Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβP"∪	DP%∩I4H#QHd_"∪	TP$∩(T("QHD0#∩)Dx(SIdx(TJ5⊂(∀*%'∀JE8_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_πt_&S	4X&∪	$8#⊃(4@'∪)∧P&RI∧8"QλD #RIEλ'∪)e)TJEλ*∀j∀x*∃HC_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ≠⊃λ4X&∪ITX&∩i∧@#Q(t`$RIuλ&Rht_ P($ #∩	$P%S)u⊂)Tj5 )TJ¬ +⊃εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧λ$PHth&∪	D`%RI∀8"QI∧@(∃
E&∩λD_"Qi∀H$∩)∀X%SJ¬⊂*∃*E_)∀JU@_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_λdP!Q	dp&S)T`%Ri∀8"R	U .Wk58+∃Ju8,∃jUλ'TJ5 *∃
u8,⊗
E_)UHC_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_λT(#∪
∧p'∪IDX&∩i∀H&TK6/↔Kux/WkeX-Vk5P-VkE`.W+fλ.∃J5 ,∞Fβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊂(D($T*∀x'∪ID`%S	Uλ*∃jUλ)∃
U@,↔L⊗0_,¬x0_,&⊂0↔EP+∃*eH_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβP!⊃(tH(∀j$x'∪)dh'∀
¬⊂)∪iDX%S	dx(U*uP.↔+Uh/↔+u`*∃
e(*VλS_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_λ∧λ"R	Dp*∀J¬λ(∀
¬λ(Tj$p%RI$P$R)4p)∀j5_(TJ58-W∃⊂(U
e8'Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∞h∀($∪	U⊂*∀j%⊂)TJ%_*∀itX$∩I4`%∪	Tx(TJ%⊂*∃
uH,Uj∃*Uk∧(_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ≤⊃λd@&SIu(*TjE_)U
E(*TId@#R)Dh&Sj∃_*∃
U0+Uju0*∀
58,Sfβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_ε∧h!QI∀X'∪JE0*U*E *UJu0*∀)T@$∩)U(TjE )U
U *∃
U_)∃K∃H"Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_	∀ #∩I4`'TJe8+∃JU0*Uju()T)d`%S
¬_*UJe8+∃*U0+∃*5(,VJβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∩λT8$RiTh(U*u0*U*U(+UjU()T	Th'∀
%(+V+∃H,⊗
u(*U+¬X-Q&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ$⊃HdH&∪	e⊂*∃k¬0*∃
E *U*E()∀	tp(∀JE@,Vk5H+UJe0+VK%P≥εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_λtH#⊃i∀P&Sj∃(+V
u()TjU(*∃*E⊂(T*∃_*∃K¬H-Vk¬8+UJuH-⊗Hc_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃I$0$∩I4h'∀
50,⊗*e )Tj5 *TjE⊂(TJ% *Uk¬P,Uje0+V∃H-Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ"Ri∧H%∩idx(∀ju@,V*e *∃
E()U
∃⊂)∀*5_*∃
u(+∃*e8,V%`_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_ε∧('∩I∀X%S)u)∃+¬H-⊗
e )∀jE )T*%λ(T*%⊂*∀j5_*∃*u@,⊗Hc_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_λe%RI4h&SJ¬⊂)Uk∃P-∃jU_)U*5⊂(T
¬(∀*%⊂)TJ5(+∃juH-Nfβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∞j∀h%∪	Tp'T*∃_*V%X-∃jE()Tj5⊂)∀	tp(TJ¬_*∃
e8,⊗+%h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_∀it`&SItx(∀J5 +V+5X,V
U_)U
5λ)∀	tx(∀*5(*UJuH-VkS_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ+∀	dh'Siu)∀j% +⊗+5`,Uje *∀j5⊂(T*∀x'TJE(+V%X.⊃fβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_ε¬P)∪idx(∀
∃_*∀jE(+V+5`,Uju *U
U_)Tj%_*∃*uH,VkEh≡εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_λE (Sj¬(TJ%_)U
E0+V+5X-⊗+¬@+UjE(*∃JU0+V+%X-W+s_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃Je_(∀
¬λ)∃
5 *∃
U0+V5`-Vk∃P,⊗
u8,V+¬H-⊗kE`0∂εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊗JU⊂)∀*%⊂)U
E *∃je8,⊗∃`.W5X-VK5`-VkEh.W,#p_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃jλFLεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ(UjE_)∀j5_*∃
E(+∃k¬@,∃k%X.↔+Eh.W+Up/↔kux2⊗fβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_#T_h_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ'∃JE_)Tj5 *∃
e8+⊗¬@,⊗+∃@-⊗kEx/Wlε/↔LεH&Lεβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβG(1S_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ'∃jU(*U
E(*UJe0,⊗+∃@,⊗¬8+∃juH-W+EX.XK3_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_ελpPc&β_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ"⊂h4⊂!⊂H$_!Ph4 "⊃λD !Ph$⊂!⊂hD0#⊃(T8%∂Fβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_εβ_⊃hpG'c#2 t_∀O_?3W@?@↓ ↓ Vλ6\F∪UL1h`|∃09⊂`ππ0_tS3_m:\λ#@0|f"PHjXPπZ] πZ] β~-V@0[o_?3W@?@↓ ↓ Vλ6\F∪|@αx@[⎇xow{⎇x